Paul Ammann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Corrigendum to “Alveolar echinococcosis: From a deadly disease to a well-controlled infection. Relative survival and economic analysis in Switzerland over the last 35 years” [J Hepatol 49 (2008) 72–77]

Torgerson, Paul R., Schweiger, Alexander, Deplazes, Peter, Pohar, Maja, Reichen, Jürg, Ammann, Rudolf W., Tarr, Philip E., Halkic, Nermin, Müllhaupt, Beat

Journal:

Journal of Hepatology

Year:

2018

Language:

english

File:

PDF, 123 KB

english, 2018

2

2D NOESY of palladium .pi.-allyl complexes. Reporter ligands, complex dynamics, and the x-ray structure of [Pd(.eta.3-C4H7)(bpy)](CF3SO3) (bpy = bipyridine)

Albinati, Alberto., Kunz, Roland W., Ammann, Christian J., Pregosin, Paul S.

Journal:

Organometallics

Year:

1991

Language:

english

File:

PDF, 1.41 MB

english, 1991

3

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Guiding Testing Effort Using Mutant Utility

Alvin, Justin, Kurtz, Bob, Ammann, Paul, Rangwala, Huzefa, Just, Rene

Year:

2019

Language:

english

File:

PDF, 449 KB

english, 2019

4

The Experience at HUD

Paul K. Casey and John J. Ammann

Journal:

Journal of Affordable Housing & Community Development Law

Year:

2004

File:

PDF, 3.51 MB

2004

5

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions

Petrovic, Goran, Ivankovic, Marko, Kurtz, Bob, Ammann, Paul, Just, Rene

Year:

2018

Language:

english

File:

PDF, 599 KB

english, 2018

6

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Teaching a Testing Concept (JUnit) with Active Learning

Baral, Kesina, Ammann, Paul

Year:

2020

File:

PDF, 172 KB

2020

7

Segmentation of the Swiss travel market by holiday activities

Ammann, Paul A, Bischof, Lukas, Schalcher, Felix

Journal:

Year:

2002

Language:

english

File:

PDF, 1.07 MB

english, 2002

8

Testing with model checkers: a survey

Gordon Fraser, Franz Wotawa, Paul E. Ammann

Journal:

Software Testing, Verification and Reliability

Year:

2009

Language:

english

File:

PDF, 574 KB

english, 2009

9

Introduction to Software Testing || Bibliography

Ammann, Paul, Offutt, Jeff

Year:

2008

File:

PDF, 172 KB

2008

10

Synthesis, Structure, and 2D-NMR Studies of Novel Chiral (η3-Allyl)palladium(II) Complexes Containing the Bidentate Ligand Sparteine

Antonio Togni, Grety Rihs, Paul S. Pregosin, Christian Ammann

Journal:

Helvetica Chimica Acta

Year:

1990

Language:

english

File:

PDF, 565 KB

english, 1990

11

Introduction to Software Testing || Introduction

Ammann, Paul, Offutt, Jeff

Year:

2008

File:

PDF, 214 KB

2008

12

Superconducting micronets: The Wheatstone bridge

Ammann, Christine, Erdös, Paul, Haley, Stephen B.

Journal:

Physical Review B

Year:

1995

Language:

english

File:

PDF, 399 KB

english, 1995

13

Correction to “The 1452 or 1453 A.D. Kuwae eruption signal derived from multiple ice core records: Greatest volcanic sulfate event of the past 700 years”

Gao, Chaochao, Robock, Alan, Self, Stephen, Witter, Jeffrey B., Steffenson, J. P., Clausen, Henrik Brink, Siggaard-Andersen, Marie-Louise, Johnsen, Sigfus, Mayewski, Paul A., Ammann, Caspar

Journal:

Journal of Geophysical Research

Year:

2012

Language:

english

File:

PDF, 218 KB

english, 2012

14

A SPECIFICATION-BASED COVERAGE METRIC TO EVALUATE TEST SETS

AMMANN, PAUL E., BLACK, PAUL E.

Journal:

International Journal of Reliability Quality and Safety Engineering

Year:

2001

Language:

english

File:

PDF, 370 KB

english, 2001

15

Reconciling perspectives of software logic testing

Garrett Kaminski, Gregory Williams, Paul Ammann

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

16

Impaired mononuclear-cell proliferation in patients with the acquired immune deficiency syndrome results from abnormalities of both T lymphocytes and adherent mononuclear cells

Kevin Shannon, Morton J. Cowan, Edward Ball, Donald Abrams, Paul Volberding, Arthur J. Ammann

Journal:

Journal of Clinical Immunology

Year:

1985

Language:

english

File:

PDF, 918 KB

english, 1985

17

Influence of alcohol and tobacco on the development of calcification, diabetes and pancreas cancer in chronic pancreatitis

Maisonneuve, Patrick, Lowenfels, Albert B., Cavallini, Giorgio, Ammann, Rudolf W., Lankisch, Paul G., Andersen, Jens R., Dimagno, Eugene P., Andren-Sandberg, Ake, Domellof, Lennart, Peter, Boyle

Journal:

Gastroenterology

Year:

2000

Language:

english

File:

PDF, 188 KB

english, 2000

18

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Relating counterexamples to test cases in CTL model checking specifications

Wijesekera, Duminda, Ammann, Paul, Sun, Lingya, Fraser, Gordon

Year:

2007

Language:

english

File:

PDF, 204 KB

english, 2007

19

The Extended Schematic Protection Model

Ammann, Paul E., Sandhu, Ravi S.

Journal:

Journal of Computer Security

Year:

1992

File:

PDF, 8.61 MB

1992

20

[IEEE Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Raleigh, NC, USA (2006.11.7-2006.11.10)] Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006) - Mutation Testing implements Grammar-Based Testing

Offutt, Jeff, Ammann, Paul, Liu, Lisa (Ling)

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

21

Scientific, Logistical, and Ethical Issues Related to Creation of a Stem Cell Repository for Use in Experimental Trials of Gene Therapy for AIDS

FRASER, JOHN K., SUGARMAN, JEREMY, McCURDY, PAUL R., MARTIN, NATASHA L., AMMANN, ARTHUR J.

Journal:

AIDS Research and Human Retroviruses

Year:

1997

Language:

english

File:

PDF, 433 KB

english, 1997

22

Role of NADPH oxidase in the regulation of autophagy in cardiomyocytes

Sciarretta, Sebastiano, Yee, Derek, Ammann, Paul, Nagarajan, Narayani, Volpe, Massimo, Frati, Giacomo, Sadoshima, Junichi

Journal:

Clinical Science

Year:

2015

Language:

english

File:

PDF, 558 KB

english, 2015

23

Distributed timestamp generation in planar lattice networks

Ammann, Paul, Jajodia, Sushil

Journal:

ACM Transactions on Computer Systems

Year:

1993

Language:

english

File:

PDF, 1.36 MB

english, 1993

24

Two-dimensional 1H NOESY of Pd(II) .pi.-allyl complexes. The concept of reporter ligands and the molecular structure of [cyclic][Pd.eta.3-CH2CCHCH2CH2CH2)(biquinoline)]CF3SO3

Albinati, Alberto, Ammann, Christian, Pregosin, Paul S., Ruegger, Heinz

Journal:

Organometallics

Year:

1990

Language:

english

File:

PDF, 1.51 MB

english, 1990

25

System testing via mutation analysis of model checking specifications

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 125 KB

english, 2000

26

Healthcare-associated infections in pediatric cancer patients: results of a prospective surveillance study from university hospitals in Germany and Switzerland

Arne Simon, Roland A Ammann, Udo Bode, Gudrun Fleischhack, Hans-Martin Wenchel, Dorothee Schwamborn, Chara Gravou, Paul-Gerhardt Schlegel, Stefan Rutkowski, Claudia Dannenberg, Dieter Körholz, Hans Jü

Journal:

BMC Infectious Diseases

Year:

2008

Language:

english

File:

PDF, 481 KB

english, 2008

27

Reducing logic test set size while preserving fault detection

Garrett Kaminski, Paul Ammann

Journal:

Software Testing, Verification and Reliability

Year:

2011

Language:

english

File:

PDF, 244 KB

english, 2011

28

The 1452 or 1453 A.D. Kuwae eruption signal derived from multiple ice core records: Greatest volcanic sulfate event of the past 700 years

Gao, Chaochao, Robock, Alan, Self, Stephen, Witter, Jeffrey B., Steffenson, J. P., Clausen, Henrik Brink, Siggaard-Andersen, Marie-Louise, Johnsen, Sigfus, Mayewski, Paul A., Ammann, Caspar

Journal:

Journal of Geophysical Research

Year:

2006

Language:

english

File:

PDF, 431 KB

english, 2006

29

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Generating Test Data to Distinguish Conjunctive Queries with Equalities

Vemasani, Preetham, Brodsky, Alexander, Ammann, Paul

Year:

2014

Language:

english

File:

PDF, 250 KB

english, 2014

30

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing

Kaminski, Garrett Kent, Ammann, Paul

Year:

2009

Language:

english

File:

PDF, 394 KB

english, 2009

31

Alveolar echinococcosis: From a deadly disease to a well-controlled infection. Relative survival and economic analysis in Switzerland over the last 35 years

Paul R. Torgerson, Alexander Schweiger, Peter Deplazes, Maja Pohar, Jürg Reichen, Rudolf W. Ammann, Philip E. Tarr, Nerman Halkik, Beat Müllhaupt

Journal:

Journal of Hepatology

Year:

2008

Language:

english

File:

PDF, 129 KB

english, 2008

32

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection

Kaminski, Garrett, Ammann, Paul

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

33

Pancreatitis and the Risk of Pancreatic Cancer

Lowenfels, Albert B., Maisonneuve, Patrick, Cavallini, Giorgio, Ammann, Rudolf W., Lankisch, Paul G., Andersen, Jens R., Dimagno, Eugene P., Andren-Sandberg, Ake, Domellof, Lennart

Journal:

Boston Medical and Surgical Journal

Year:

1993

Language:

english

File:

PDF, 800 KB

english, 1993

34

Incidence and Predictors of Atrial Fibrillation Progression

Blum, Steffen, Aeschbacher, Stefanie, Meyre, Pascal, Zwimpfer, Leon, Reichlin, Tobias, Beer, Jürg H., Ammann, Peter, Auricchio, Angelo, Kobza, Richard, Erne, Paul, Moschovitis, Giorgio, Di Valentino,

Journal:

Journal of the American Heart Association

Year:

2019

Language:

english

File:

PDF, 330 KB

english, 2019

35

Issues in using model checkers for test case generation

Gordon Fraser, Franz Wotawa, Paul Ammann

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 474 KB

english, 2009

36

[ACM Press the 2006 ACM/IEEE international symposium - Rio de Janeiro, Brazil (2006.09.21-2006.09.22)] Proceedings of the 2006 ACM/IEEE international symposium on International symposium on empirical software engineering - ISESE '06 - An industrial case study of structural testing applied to safety-critical embedded software

Guan, Jing, Offutt, Jeff, Ammann, Paul

Year:

2006

Language:

english

File:

PDF, 148 KB

english, 2006

37

[ACM Press the 2nd ACM Conference - Fairfax, Virginia, United States (1994..-..)] Proceedings of the 2nd ACM Conference on Computer and communications security - CCS '94 - Propagation of authorizations in distributed database systems

Samarati, Pierangela, Ammann, Paul, Jajodia, Sushil

Year:

1994

Language:

english

File:

PDF, 1.34 MB

english, 1994

38

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness

Kurtz, Bob, Ammann, Paul, Offutt, Jeff, Kurtz, Mariet

Year:

2016

Language:

english

File:

PDF, 796 KB

english, 2016

39

A semantic-based transaction processing model for multilevel transactions1

Ray, Indrakshi, Ammann, Paul, Jajodia, Sushil

Journal:

Journal of Computer Security

Year:

1998

File:

PDF, 278 KB

1998

40

[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Reachability and Propagation for LTL Requirements Testing

Fraser, Gordon, Ammann, Paul

Year:

2008

Language:

english

File:

PDF, 336 KB

english, 2008

41

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Towards mutation analysis of Android apps

Deng, Lin, Mirzaei, Nariman, Ammann, Paul, Offutt, Jeff

Year:

2015

Language:

english

File:

PDF, 699 KB

english, 2015

42

Influence of Fatigue Loading and Bone Turnover on Bone Strength and Pattern of Experimental Fractures of the Tibia in Mice

Bonnet, Nicolas, Gerbaix, Maude, Ominsky, Michael, Ammann, Patrick, Kostenuik, Paul J., Ferrari, Serge L.

Journal:

Calcified Tissue International

Year:

2016

Language:

english

File:

PDF, 1.11 MB

english, 2016

43

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - Designing Deletion Mutation Operators

Delamaro, Marcio Eduardo, Offutt, Jeff, Ammann, Paul

Year:

2014

Language:

english

File:

PDF, 473 KB

english, 2014

44

Habitable Planets: Interior Dynamics and Long-Term Evolution

Tackley, Paul J., Ammann, Michael M., Brodholt, John P., Dobson, David P., Valencia, Diana

Journal:

Proceedings of the International Astronomical Union

Year:

2012

Language:

english

File:

PDF, 800 KB

english, 2012

45

[ASME ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - Washington, DC, USA (August 28–31, 2011)] Volume 2: 31st Computers and Information in Engineering Conference, Parts A and B - A Decision-Guided Energy Management Framework for Sustainable Manufacturing

Shao, Guodong, Brodsky, Alexander, Arinez, Jorge, Menasce, Daniel, Ammann, Paul

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

46

Späteres Mittelalter (1250-1500)

Review by: W. Lammers, K. Zernack, H. Buttkus, Günther Hamann, Paul Kläui, Kaspar Elm, H. C. Peyer and H. Ammann

Journal:

Historische Zeitschrift

Year:

1962

File:

PDF, 1.28 MB

1962

47

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Adding Criteria-Based Tests to Test Driven Development

Shelton, William, Li, Nan, Ammann, Paul, Offutt, Jeff

Year:

2012

Language:

english

File:

PDF, 232 KB

english, 2012

48

Far-red sun-induced chlorophyll fluorescence shows ecosystem-specific relationships to gross primary production: An assessment based on observational and modeling approaches

Damm, A., Guanter, L., Paul-Limoges, E., van der Tol, C., Hueni, A., Buchmann, N., Eugster, W., Ammann, C., Schaepman, M.E.

Journal:

Remote Sensing of Environment

Year:

2015

Language:

english

File:

PDF, 3.31 MB

english, 2015

49

GE Crops: Balancing Predictions of Promise and Peril

Wolfenbarger, L. LaReesa, Andow, David A., Hilbeck, Angelika, Nickson, Thomas, Wu, Felicia, Thompson, Paul B., Ammann, Klaus

Journal:

Frontiers in Ecology and the Environment

Year:

2004

Language:

english

File:

PDF, 5.23 MB

english, 2004

50

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Applications of Optimization to Logic Testing

Kaminski, Garrett, Ammann, Paul

Year:

2010

Language:

english

File:

PDF, 283 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски